Applying Formal Methods for Human
نویسنده
چکیده
This paper describes recent work concerned with the spe-ciication of requirements on interactive systems and the deenition of user-level properties of such systems. A formal notation for describing and reasoning about the behaviour of systems and emergent properties is discussed, along with a technique that uses the formalism to investigate the resilience of systems to operator errors. These techniques are being used in the context of a project with British Aerospace; the concepts are illustrated with a simple example from the area of aircraft warning systems.
منابع مشابه
Formal modelling techniques in human - computer interaction *
This paper is a theoretical contribution, elaborating the concept of models as used in Cognitive Ergonomics. A number of formal modelling techniques in human-computer interaction will be reviewed and discussed. The analysis focusses on different related concepts of formal modelling techniques in human-computer interaction. The label ‘model’ is used in various ways to represent the knowledge use...
متن کاملCase Studies in Using a Meta-Method for Formal Method Integration
We summarize the results of several experiments in applying a metamethod for formal method integration [18, 19]. We provide a small example of using an instance of integrated formal methods, and discuss properties and difficulties associated with applying the meta-method to combining and using several formal and semiformal methods.
متن کاملASD Case Notes: Costs and Benefits of Applying Formal Methods to Industrial Control Software
Formal methods are being applied to the development of software of various applications at Philips Healthcare. In particular, the Analytical Software Design (ASD) method is being used as a formal technology for developing defect-free control software of highly sophisticated X-ray machines. In this paper we analyze the effects of applying ASD in the development of various control software units....
متن کاملComparison of the Effectiveness of the Bowen Family Therapy Approach and McMaster’s Model on Relationship Beliefs in Couples Applying for Divorce
Introduction: Dysfunctional relationship beliefs are one of the factors affecting marital dissatisfaction in couples applying for the divorce. The purpose of this study was to compare the effectiveness of McMaster and Bowen family therapy approaches on the relationship beliefs of couples applying for the divorce. Methods: This study was a quasi-experimental method including a pretest-posttest w...
متن کاملآموزش فراگیر تربیتبدنی
The low of training for all disabled children assures the right of using free education for children with disabilities. A part of this low included the communication of disabled children with normal children in formal training classes, as well as formal physical education. A problem that all teachers of physical education encountered is the applying inclusive training in schools, ineffect...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1994